Context Threading: A flexible and efficient dispatch technique for virtual